((v1 v2 1) (v1 v3 6) (v1 v4 7))
8
((v3 v1) (v4 v1))